ba610f114511dd248afc6be20e00821b29206b7f,src/main/java/com/jetbrains/jetpad/vclang/typechecking/visitor/CheckTypeVisitor.java,CheckTypeVisitor,visitSigma,#Abstract.SigmaExpression#Type#,828

In pattern: SUPERPATTERN

Frequency: 4

Non-data size: 4


Instances


1485889483
valery.isaev@gmail.com
valis/vclang,ba610f114511dd248afc6be20e00821b29206b7f,src/main/java/com/jetbrains/jetpad/vclang/typechecking/visitor/CheckTypeVisitor.java,CheckTypeVisitor,visitSigma,#Abstract.SigmaExpression#Type#,828


1485889483
valery.isaev@gmail.com
valis/vclang,ba610f114511dd248afc6be20e00821b29206b7f,src/main/java/com/jetbrains/jetpad/vclang/typechecking/visitor/CheckTypeVisitor.java,CheckTypeVisitor,visitPi,#Abstract.PiExpression#Type#,623


1431417453
hans-martin.haase@ecsec.de
ecsec/open-ecard,026a4079da660603dc78bbe688c2bd1764c19c82,addons/tr03112/src/main/java/org/openecard/transport/paos/PAOS.java,PAOS,sendStartPAOS,#StartPAOS#,274


1431417453
hans-martin.haase@ecsec.de
ecsec/open-ecard,026a4079da660603dc78bbe688c2bd1764c19c82,addons/tr03112/src/main/java/org/openecard/transport/paos/PAOS.java,PAOS,sendStartPAOS,#StartPAOS#,274